المفروض لا ب حقضية صادقة المدّعى لا ح - ب‌صادقة أيضاً البرهان : لو لم تصدق لا ح - ب لصدق نقيضها ع ح - ب ولصدق ع ب ح - ( العكس المستوي للنقيض ) وإذا لاحظنا هذا العكس المستوي ( ع ب ح - ) ونسبناه إلى الأصل ( لا ب ح - ) وجدناه نقيضاً له ، فلو كان ( ع ب ح - ) صادقاً وجب أن يكون ( لا ب ح - ) كاذباً ، مع أنّ المفروض صدقه . فوجب أن تكون : لا ح - ب صادقة وهو المطلوب تعقيب : بهذا البرهان تعرف الفائدة في النقيض والعكس المستوي عند الاستدلال ، لأنّا لابدّ أن نرجع في هذا البرهان إلى الوراء ، فنقول : المفروض أن‌ّلا ب حصادقة فتكذب‌ع ب حنقيضها وهذا النقيض عكس ع ح - ب فيكذب أيضاً لأنّه إذا كذب العكس كذب الأصل ( القاعدة الثانية ) وإذا كذب هذا الأصل أعنيع ح - ب صدق نقيضه‌لا ح - ب وهو المطلوب فاستفدت ( تارة ) من صدق الأصل كذب نقيضه ، و ( أخرى ) من كذب العكس كذب أصله و ( ثالثة ) من كذب الأصل صدق نقيضه . وسيمرّ عليك مثل هذا الاستدلال كثيراً ، فدقّق فيه جيداً ، وعليك بإتقانه .